S implements i:(a#
#
)
0
